.json-input {
    min-height: 20ex;
}
